Non-critical string theory