Probabilistic Planning with Preferences over Temporal Goals