Comparing physical, automatic and manual map rotation for pedestrian navigation