A Task Abstraction and Mapping Approach to the Shimming Problem in Scientific Workflows