What producer of the eleventh studio album by American rock band Van Halen is a Dutch American?