Watch the closing moments of the semi-final between Judd Trump and Barry Hawkins which the former won.