On Robustness Metrics For Learning Stl Tasks