Valley splitting in an n-channel (100) inversion layer on p-type silicon