Here’s how the discharge petition works in the House