How OsmAnd Achieved Faster Routing on Tiny Maps