Haken's algorithm for recognising the unknot