Text this: Borda-optimal taxation of labour income