Шотландецът победи сензацията Джъд Тръмп с 18:15 в Крусибъл и спечели историческа четвърта титла.