Robot DJs: Better Spotify Playlists through Music Theory and Discrete Optimization