Study of efficiency and productivity growth in opencast and underground coal mining in India: a DEA analysis