State funeral for former Portuguese president