Galaxy Formation: A Herculean Challenge