A distributed educational computing environment : Usage of educational workstations