Mašinų teorija