For Russian student workers how many summer days were devoted to work