Gibraltar Open: Judd Trump wins sixth ranking title of season