Structural Separation Logic