Crab cavity and cryomodule development for HL-LHC