Maersk Drilling gets long-term extension for jack-up with Shell in Brunei