Milling-layer thickness model based on a trochoid trajectory