when did percy jackson sea of monsters come out