Experimenting with libgdx and box2d