Dark energy in string theory