Stefanos Tsitsipas downed Roger Federer in straight sets to book his place in the final of the ATP Finals against either Alexander Zverev or Dominic Thiem.