Bumi Armada sells FPSO for $40 million