Database of NP-Completeness Proofs of Pencil Puzzles