Mike Robertson, Ordnance Survey