Forced Labour in Franco's Spain: Workforce Supply, Profits and Productivity