The world's shipping companies run their enormous vessels on complex software systems similar to those used by institutions ...