To save its trapped miners, India should have learned from the Thailand cave rescue