Semi-analytic modelling of galaxy formation: the local Universe | Synapse