How are mineral rights handled in divorce proceedings?