Computing Convex Hulls and Counting Integer Points with Polymake | AMiner