Columbus police warned partygoers hours before fatal mass shooting, mayor says