Modeled and satellite-derived extreme wave height statistics in the North Atlantic Ocean reaching 20 m