Badgers forward Cruz Lucius traded in Jake Guentzel deal