Robots in restaurants, apps for everything: hotels exploiting technology to beat staff shortages and drive efficiency.