Courts Should Apply Statutory Impairment Formula for a Debtor to Avoid a Lien on Co-Owned Property