Modeling the Size Effect in Ultra-precision Machining by Mechanism-based Strain Gradient Crystal Plasticity