How to knot a tie in less than 10 seconds