Semi-analytic galaxy formation in coupled dark energy cosmologies