City of Columbus: Data of 500,000 stolen in July ransomware attack