Precise regularity up to the boundary of proper holomorphic mappings