The splitting theorem for space-times with strong energy condition