How many cantons does the country which the Vallée de Joux is mainly in consist of?