A jack-up rig, an offshore oil and gas drilling platform, undergoes repair works at a shipyard in Singapore