Cosmological redshift surveys, big data and semi-analytical galaxy formation models