who scored a hat trick in a world cup final