Humanitarian applications of machine learning with remote-sensing data: review and case study in refugee settlement mapping