Ben Nevis, Britain's tallest mountain, is re-measured by Ordnance Survey and is now officially put at 1,345m high - a metre taller than before.