What is a workspace?