Mapping a Brazilian deforestation frontier using multi-temporal TerraSAR-X data and supervised machine learning