Optimal design for buckets layout based on muck removal analysis of TBM cutterhead