Historic Big Sur hotel restaurant destroyed in fire