Characterization, simulation and macro-modelling of vertical Hall devices