How long does it take coal to form?