The space of formal balls and models of quasi-metric spaces