How do you find abs(1 + 3i)?