High-Resolution Colonic Manometry Pressure Profiles Are Similar in Asymptomatic Diverticulosis and Controls