A probabilistic nodal analysis for helping the System Operator to validate the results of the day-ahead electricity market