eruvin perek hei mishna 4 how to measure a city’s techum