Central Ohio housing market enjoys record June