Cincinnati police captain adds Mayor John Cranley to lawsuit against city manager