The Integrated MARKAL-EFOM System (TIMES) - a bottom-up optimization model for energy-environment systems