The ten-dimensional effective action of strongly coupled heterotic string theory