you would want to use a raspberry pi Model B,B+ or 2.
Do not use the BBB (it does not have as powerful a graphics processor), do not use the raspberry zero
The Model B,B+ or 2 all support 1080p/
Here is basic process i used
I take the mp3 of a song, say wizards.mp3. I go into a video editor, i use Power Director 13, i create an empty video. I paste the mp3 to the audio track. If i want a video to start at 11 seconds into my sequence, i drop video effects on video track starting at 11 seconds. Since i have the exact sound file, i can exactly position video where i want it. In this case the first 11 seconds would be blank.
I now save this as wizards.mp4
I run my lights from the master , 45K channels. The playlist would be something like
1) wizards.mp3 wizards.fseq
2) carol.mp3 carol.mp3
3) soundfile sequence file
in the second rpi, i configure the FPP to be a slave. There is no playlist, there are no fseq files. i just upload wizards.mp4 and carol.mp4.
Now when the master plays, it starts wizards.fseq, starts using wizards.mp3 for the sound. A signal is sent to the slave saying "I am running wizards.fseq". The slave looks to see if it has wizards.fseq (it doesnt), the slave looks if it has wizards.mp3 (it doesn't), it looks for a wizards.mp4, yes!. It now starts playing the wizards.mp4 and keeps it within one frame of the master fpp.
you can have thousands of slaves, thousands of projectors. Each raspberry pi can drive 1080p.
This assumed all lights being driven from master FPP. One FPP can drive 512,000 so it is probably enough, but what if you want one of the slaves to be your neighbor? Just send their slave the fseq sequence files, connect controllers to that slave.