Spatial extremes modeling applied to extreme precipitation data in the state of Paraná