Malaysia’s Petronas says Songkhla export pipeline temporarily shut after routine check