ماهو الرمز البريدي santa lucia de tirajana (capital municipal)?