Gravar-mail: Using data analysis to solve housing problems in Lagos, Nigeria