Pakistani operation to rescue students at Peshawar school is over