Pay increase approved for Cincinnati police officers