Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry