Semi-analytic galaxy formation in massive neutrino cosmologies