The metropolis keyboard - an exploration of quantitative techniques for virtual keyboard design