Coal production rises 12.8% till October in 2023-24