Bassin minier de Provence