World Snooker Championship: Mark Allen leads Scott Donaldson 5-4 in first-round match