How many fifa world cup trophy does portugal have