Mining, electricity and cement production: Significant increases recorded in October 2025