An algebraic completeness proof for Kleene's 3-valued logic