Programming Environments for High-Level Scientific Problem Solving