A park ranger spent 12 hours cleaning up 4 miles of trail. How much time would it take him to clean 16 miles of trail?