Locally smeared operator product expansions in scalar field theory