A Call for Clarity in Beam Search: How It Works and When It Stops