What kind of music makes you most productive at work? Here’s what the science says