Physical Notional Machines for CS Education