Petronet to develop Sri Lankan LNG terminal