Mathematical models for bioremediation of contaminated soils