Cincinnati city pools begin to open for summer amid lifeguard shortage