Effective mass and collision time of (100) Si surface electrons