The Witten equation and its virtual fundamental cycle