Agra Metro Rail Project: Casting for first ‘arch girder’ begins