A fantasy football lineup optimizer