Formal modelling of processes and tasks to support use and search of geo-information in emergency response