Digital Dual‑Function Timer for Mechanical Electric Pressure Cookers