Mental workload in multi-device personal information management