Data Abstractions and Their Use: An Experimental Study of User Productivity