The Weil conjectures: The target theorem and applications