Pakistan receives first batch of high-speed rail coaches from China