Title: An economic comparison of manual and automatic detaching milking machines