Ferrari, the resignation of team principal Binotto is official