hamilton musical based on what book