Michael van Gerwen booked himself a place in the PDC World Darts Championship final after defeating Chris Dobey