Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness