flush toilet (invention)