A derivation-oriented proof of the Schorr-Waite marking algorithm