SC allows additional terminal at Agra airport