Saudi Aramco races to repair oil facility after attacks cut country’s production by half