Indústria e conflito no meio rural. Os mineiros alentejanos (1858 – 1938)