US tech firm Dell laying off 5% of workforce