Former Cincinnati mayor John Cranley loses primary for governor