Heterotic M-theory in five dimensions