Office Depot profit doubles on one-time gains; adjusted results miss Street