Richmond receives AAA designation from credit rating agency