Cincinnati mayor allocates $2 million+ to curbing summer violence