June was a record month for real estate listings, sales in central Ohio