Heterotic string theory