Under a Mumbai forest, a tunnel machine digs 5 metres a day through ancient lava rock