where does modafinil come from