Modelling Non-Linear Structure Formation With Modified Gravity And Massive Neutrinos