Cruz: The GOP primary is essentially over