Type 0 string theory