Decision-making authority, team efficiency and human worker satisfaction in mixed human–robot teams