Knowledge compilation powers Toyota and Lexus configuration