Theory of borehole stability when drilling through salt formations