Atwood machine analysis