PushWorld: A benchmark for manipulation planning with tools and movable obstacles