How far is mason ohio