No final decision yet on opening Bengaluru’s KR Pura-Baiyappanahalli metro line