Ohio 2020 recreational marijuana legalization measure filed: 5 things to know