Where a claim is secured by a lien, the code limits that secured claim to the value of the property less any higher priority liens.