Why do workers strike? Looking for an answer using micro data on Leiden strikers in 1914