How to Machine-Cut Double Mortise and Tenons