John Carmack's Armadillo Aerospace "wins" Lunar Lander Challenge [video]