Recoverable Mutual Exclusion in Detectable Lock-Based Data Structures