Modelling of micro-Hall sensors for magnetization imaging