Recoverable Mutual Exclusion