Teoria maszyn