Pinball Machines: Everything You Wanted to Know