what is a development environment