How to Split a User Story: Prepare the Input Story, Apply the Splitting Patterns, Evaluate the Split