Total buys Maersk Oil for $7.45 billion