A digital fabrication framework for pinball machines using Python