Interaction Design for Mixed-Focus Collaboration in Cross-Device Environments