coal mining and crude petroleum in india