What is the capital city's population of the Brazilian state in which Redinha beach is located?