PetroChina to more than double Sichuan shale gas output by 2025 - state media