Highly charged – the US Navy’s electromagnetic railgun programme