Redemption for Norway's Ingebrigtsen with 5,000 metre world title