Spatio-Temporal Analysis of Resources and Waste Quantities from Buildings (as Urban Mining Potential) Generated by the European Metropolis of Lille: A Methodology Coupling Data from Construction and Demolition Permits with Geographic Information Systems Academic Article