Implication algebras are 3-permutable and 3-distributive