Has Lin-Manuel Miranda or The Barefoot Executive received more awards?