Representability of derived stacks