Analysis of Livorno Heavy Rainfall Event: Examples of Satellite-Based Observation Techniques in Support of Numerical Weather Prediction